二、论述题（两个论述题可任选其一，并只选其一，多选无效，满分30分。）
论述题１
本题要求设计一个学生试卷成绩输入、查询和成绩单输出系统（简称SRS ）的
数据结构和算法要点。问题描述如下：
要输入到SRS 系统中的每一份试卷成绩反映一个学生选修一门课程的考试结果
，它包括以下数据项：学号、姓名、课程名、成绩。由于实行了灵活的选课制度，
所以每个学生选修多少门课程，选修哪些课程都可以不同。要输入的多份试卷成绩
并未按任何数据项排列顺序，它们以任意的顺序被输入到系统中来。
SRS系统要具有以下功能：①试卷成绩插入，将试卷成绩逐个插入到SRS系统的
数据结构中。②学生成绩查询，给出学号查找该学生所选修的各门课程的考试成绩
。③成绩单输出按学号递增的顺序依次输出所有学生的学号、姓名，及其所选修的
各门课程的课程名和成绩。（为简单起见，假设上述所有工作都在计算机内存中进
行。）
请设计SRS系统的数据结构和算法要点，使上述三项操作都有较高的执行效率
。从以下方面阐述你的设计：
(1)SRS系统的数据结构（15分）
①数据结构的Pascal语句描述
②数据结构的示意图
③数据结构的简单文字说明
(2)SRS系统的算法要点（10分）
（只要简单的文字说明，不必写出Pascal程序）
①试卷成绩插入
②学生成绩查询
③成绩单输出
(3)简单陈我的上述设计的理由（5分）
论述题２
在一个盗窃案件中，已知下列事实：
①甲或乙是窃贼。
②若甲是窃贼，做案时间不会发生在是12点钟以前。
③若乙的证词正确，在夜间12点钟时被盗物品所在房间灯光未灭。
④若乙的证词不正确，则做案时间发生在夜间12点钟以前。
⑤夜间12点钟被盗房间灯光灭了。
根据以上事实解答或论证以各题：
(1)将①～⑤中所出现的简单命题符号化，然后用命题符号写出①～⑤各复合命题
的符号化形式。（10分）
(2)以(1)中给出的5个复合命题为前提，判断甲、乙二人谁是窃贼（以符号形式给
出）。（5分）
(3)用命题逻辑推理理论写出（2）中结论的判断过程（要求写出每一步所用的推理规则）。（15分）
